Skip to content

Update docs#124

Merged
finsberg merged 8 commits into
mainfrom
update-docs
Nov 25, 2025
Merged

Update docs#124
finsberg merged 8 commits into
mainfrom
update-docs

Conversation

@finsberg
Copy link
Copy Markdown
Owner

@finsberg finsberg commented Nov 24, 2025

Update documentation

Pull request type

Please check the type of change your PR introduces:

  • Bugfix
  • Feature
  • Code style update (formatting, renaming)
  • Refactoring (no functional changes, no api changes)
  • Build related changes
  • Documentation content changes
  • Other (please describe):

What is the current behavior?

Issue Number: N/A

What is the new behavior?

Other information

@finsberg finsberg merged commit 132485f into main Nov 25, 2025
8 checks passed
@finsberg finsberg deleted the update-docs branch March 18, 2026 22:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant